home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 60 / 60.xpi / chrome / webdeveloper.jar / content / webdeveloper / tools.js < prev    next >
Text File  |  2009-06-30  |  7KB  |  162 lines
  1. // Loads the given application with the given URL
  2. function webdeveloper_loadApplicationWithURL(application, url)
  3. {
  4.     // If the application and URL are set
  5.     if(application && url)
  6.     {
  7.         application = new WebDeveloperApplication(application);
  8.  
  9.         application.launchWithURL(url);
  10.     }
  11. }
  12.  
  13. // Opens the DOM Inspector
  14. function webdeveloper_openDOMInspector()
  15. {
  16.     // If the DOM Inspector and chrome is available
  17.     if(webdeveloper_isDOMInspectorAvailable() && webdeveloper_isDOMInspectorChromeAvailable())
  18.     {
  19.         // If the open DOM Inspector in dashboard preference is set to true
  20.         if(webdeveloper_getBooleanPreference("webdeveloper.dom.inspector.dashboard", true))
  21.         {
  22.             var domInspector = document.getElementById("webdeveloper-string-bundle").getString("webdeveloper_domInspector");
  23.  
  24.             // If the DOM inspector is already open in the dashboard
  25.             if(webdeveloper_isOpenInDashboard(domInspector))
  26.             {
  27.                 webdeveloper_closeInDashboard(domInspector);
  28.             }
  29.             else
  30.             {
  31.                 webdeveloper_openInDashboard(domInspector, "chrome://inspector/content/sidebar.xul");
  32.                 window.setTimeout(BrowserReload, 1000);
  33.             }
  34.         }
  35.         else
  36.         {
  37.             inspectDOMDocument(webdeveloper_getContentDocument());
  38.         }
  39.     }
  40.     else
  41.     {
  42.         window.openDialog("chrome://webdeveloper/content/message/message.xul", "webdeveloper-message-dialog", "centerscreen,chrome,modal", document.getElementById("webdeveloper-string-bundle").getString("webdeveloper_domInspectorRequired"), "http://chrispederick.com/work/web-developer/documentation/faq/#dom-inspector");
  43.     }
  44. }
  45.  
  46. // Opens the Java Console
  47. function webdeveloper_openJavaConsole()
  48. {
  49.     Components.classes["@mozilla.org/oji/jvm-mgr;1"].getService(Components.interfaces.nsIJVMManager).showJavaConsole();
  50. }
  51.  
  52. // Updates the tools menu
  53. function webdeveloper_updateToolsMenu(menu, suffix)
  54. {
  55.     var bookmarklet           = null;
  56.     var bookmarkletPreference = null;
  57.     var description           = null;
  58.     var descriptionPreference = null;
  59.     var key                   = null;
  60.     var menuItem              = null;
  61.     var path                  = null;
  62.     var separator             = null;
  63.     var stringBundle          = document.getElementById("webdeveloper-string-bundle");
  64.     var toolPreference        = null;
  65.     var toolsCount            = webdeveloper_getIntegerPreference("webdeveloper.tool.count", true);
  66.     var toolsSeparator        = menu.getElementsByAttribute("id", "webdeveloper-tools-separator1-" + suffix)[0];
  67.     var url                   = null;
  68.  
  69.     webdeveloper_removeGeneratedMenuItems(menu);
  70.  
  71.     // Loop through the possible tools
  72.     for(var i = 1; i <= toolsCount; i++)
  73.     {
  74.         bookmarklet = "webdeveloper.tool." + i + ".bookmarklet";
  75.         description = "webdeveloper.tool." + i + ".description";
  76.         key         = "webdeveloper.tool." + i + ".key";
  77.         path        = "webdeveloper.tool." + i + ".path";
  78.         separator   = "webdeveloper.tool." + i + ".separator";
  79.         url         = "webdeveloper.tool." + i + ".url";
  80.  
  81.         // If the separator preference is set
  82.         if(webdeveloper_getBooleanPreference(separator, true))
  83.         {
  84.             menuItem = document.createElement("menuseparator");
  85.             menuItem.setAttribute("class", "webdeveloper-generated-menu");
  86.             menu.insertBefore(menuItem, toolsSeparator);
  87.         }
  88.         else if(webdeveloper_isPreferenceSet(description) && (webdeveloper_isPreferenceSet(bookmarklet) || webdeveloper_isPreferenceSet(path) || webdeveloper_isPreferenceSet(url)))
  89.         {
  90.             descriptionPreference = webdeveloper_getStringPreference(description, true);
  91.  
  92.             // If the description is not blank
  93.             if(descriptionPreference != "")
  94.             {
  95.                 menuItem = document.createElement("menuitem");
  96.  
  97.                 menuItem.setAttribute("class", "webdeveloper-generated-menu");
  98.                 menuItem.setAttribute("label", descriptionPreference);
  99.  
  100.                 // If the bookmarklet preference is set
  101.                 if(webdeveloper_getStringPreference(bookmarklet, true))
  102.                 {
  103.                     menuItem.setAttribute("oncommand", "webdeveloper_runBookmarklet('" + encodeURIComponent(webdeveloper_getStringPreference(bookmarklet, true)).replace(new RegExp("'", "gi"), "\\'") + "')");
  104.                 }
  105.                 else if(webdeveloper_getStringPreference(path, true))
  106.                 {
  107.                     menuItem.setAttribute("oncommand", "webdeveloper_loadApplicationWithURL('" + webdeveloper_getStringPreference(path, true).replace(/\\/gi, "\\\\") + "', getBrowser().currentURI.spec)");
  108.                 }
  109.                 else
  110.                 {
  111.                     menuItem.setAttribute("oncommand", "webdeveloper_loadURL('" + webdeveloper_getStringPreference(url, true) + "' + encodeURIComponent(getBrowser().currentURI.spec))");
  112.                 }
  113.  
  114.                 // If the key preference is set
  115.                 if(webdeveloper_isPreferenceSet(key))
  116.                 {
  117.                     menuItem.setAttribute("key", key);
  118.                 }
  119.  
  120.                 menu.insertBefore(menuItem, toolsSeparator);
  121.             }
  122.         }
  123.     }
  124.  
  125.     menuItem = document.getElementById("webdeveloper-dom-inspector-" + suffix);
  126.  
  127.     // If the menu exists
  128.     if(menuItem)
  129.     {
  130.         // If the DOM Inspector or chrome is not available
  131.         if(!webdeveloper_isDOMInspectorAvailable() || !webdeveloper_isDOMInspectorChromeAvailable())
  132.         {
  133.             menuItem.setAttribute("class", "menuitem-iconic");
  134.         }
  135.         else if(menuItem.hasAttribute("class"))
  136.         {
  137.             menuItem.removeAttribute("class");
  138.         }
  139.     }
  140.  
  141.     webdeveloper_configureElement(document.getElementById("webdeveloper-dom-inspector-" + suffix), "checked", webdeveloper_isOpenInDashboard(stringBundle.getString("webdeveloper_domInspector")));
  142.     webdeveloper_configureElement(document.getElementById("webdeveloper-display-page-validation-" + suffix), "checked", !document.getElementById("webdeveloper-page-validation-toolbar").hidden);
  143.     webdeveloper_configureElement(document.getElementById("webdeveloper-error-console-" + suffix), "checked", webdeveloper_isOpenInDashboard(stringBundle.getString("webdeveloper_errorConsole")));
  144. }
  145.  
  146. // Validates a local HTML file for accessibility
  147. function webdeveloper_validateLocalAccessibility()
  148. {
  149.     new WebDeveloperValidateAccessibility().validateAccessibility(getBrowser().currentURI);
  150. }
  151.  
  152. // Validates local CSS
  153. function webdeveloper_validateLocalCSS()
  154. {
  155.     new WebDeveloperValidateCSS().validateCSS(getBrowser().currentURI, webdeveloper_getDocuments(webdeveloper_getContentWindow()));
  156. }
  157.  
  158. // Validates a local HTML file
  159. function webdeveloper_validateLocalHTML()
  160. {
  161.     new WebDeveloperValidateHTML().validateHTML(getBrowser().currentURI);
  162. }